Variables
x1::[1..10]
x2::[1..10]
x3::[1,5]
x4::[1,5..33]
x5::[1..10,50]
x6::[1..10,20..33]
Constraints
x1>x3
x1=x2
x2!=x3
x3>=x4
x4>=x5
x4<x6
x5<=x6